A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

Source URL: benvds.com

• Computer security
• Computing
• Computer network security
• Security engineering
• Information and communications technology
• Crime prevention
• Cryptography
• National security
• Virtual private network
• SCADA
• FBI Criminal Justice Information Services Division
• Computer network

Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2

Source URL: wirelesslab.sjtu.edu.cn

• Wireless networking
• Computing
• Information and communications technology
• Computer networking
• Technology
• Network protocols
• Data transmission
• Internet of things
• Vehicular ad hoc network
• Wireless ad hoc network
• Mobile ad hoc network
• Network packet

A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin

Source URL: www.kestrel.edu

• Mathematics
• Combinatorics
• Combinatorial optimization
• Greedoid
• Order theory
• Matroid theory
• Matroid
• Universal property
• Greedy algorithm

The Protection of Information in Computer Systems JEROME H. SALTZER, SENIOR MEMBER, IEEE, AND MICHAEL D. SCHROEDER, MEMBER, IEEE Invited Paper Abstract - This tutorial paper explores the mechanics of

Source URL: www.doc.ic.ac.uk

• Computer security
• Security engineering
• Prevention
• Security
• Crime prevention
• Cryptography
• Information governance
• National security
• Password
• Operating system
• Protection ring
• Capability-based security

die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club Pragmatismus in Thailand: GSM-Basisstation mit Palmenantenne. Photo aufgenommen von David Bank auf Koh Phi-Phi / Th

Source URL: ds.ccc.de

Rene Peralta and John Kelsey, National Institute of Standards and Technology, Computer Security Division. Nigel Smart, Professor of Cryptology,

Source URL: zkp.science

• Cryptography
• Secret sharing
• Public-key cryptography
• Secure multi-party computation
• Commitment scheme
• Cryptographic protocol
• Block cipher
• Zero-knowledge proof

A New View on HJLS and PSLQ: Sums and Projections of Lattices Jingwei Chen†,‡ Chengdu Institute of Computer Application, CAS

Source URL: perso.ens-lyon.fr

• Algebra
• Mathematics
• Representation theory of Lie groups
• Lie algebras
• Matrix theory
• Spectral theory
• Lattice
• Weight
• Jordan normal form
• Spectral theory of ordinary differential equations

Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada.

Source URL: icaps16.icaps-conference.org

• Finite automata
• Temporal logic
• Automated planning and scheduling
• Linear temporal logic
• Theoretical computer science
• Neuropsychology
• Computational complexity theory
• Model checking
• Deterministic finite automaton
• Finite-state machine
• Nondeterministic finite automaton
• Algorithm

HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations Suphannee Sivakorn, George Argyros, Kexin Pei, Angelos D. Keromytis, and Suman Jana Department of Computer Science Columbia Univer

Source URL: www.ieee-security.org

• Cryptography
• Computing
• Internet
• Internet Standards
• Internet protocols
• Cryptographic protocols
• E-commerce
• Public-key cryptography
• Transport Layer Security
• Hostname
• X.509
• Public key certificate